1. Finite automata, formal logic, and circuit complexity
پدیدآورنده : Straubing, Howard, 2591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
رده :
QA
76
.
9
.
M35S77
2. Fundamentals of computation theory
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Machine theory-- Congresses,، Computer science-- Mathematics-- Congresses,، Computational complexity-- Congresses
رده :
QA
267
.
I57
1985
3. Logic and automata
پدیدآورنده : / edited by Jeorg Flum, Erich Greadel, Thomas Wilke
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Machine theory.,Logic, Symbolic and mathematical.,Computer science--Mathematics,Computational complexity.
رده :
QA
,
267
,.
L624
,
2008
4. Logic and automata
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
5. Theory of computation
پدیدآورنده : Wood, Derick
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Computational complexity,، Machine theory,، Computer science -- Mathematics
رده :
QA
267
.
W66
1987
6. Theory of computation
پدیدآورنده : / Derick Wood
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Computational complexity,Machine theory,Computer science - Mathematics
رده :
QA
267
.
W66
1987
7. Theory of computation
پدیدآورنده : Natarajan, A.M
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Computational complexity,، Machine theory,، Computer science -- Mathematics
رده :
QA
267
.
N35
2003
8. Theory of computation
پدیدآورنده : Wood, Derick
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computational complexity,، Machine theory,، Computer science-- Mathematics
رده :
QA
267
.
W66
1987
9. Theory of computation
پدیدآورنده : Wood, Derick
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computational complexity , Machine theory, Computer science - Mathematics
رده :
QA
267
.
W66
1987
10. Topics in the theory of computation
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computational complexity ; Congresses. ; Machine theory ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
11. Topics in the theory of computation :
پدیدآورنده : edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity-- Congresses,Computer science-- Mathematics-- Congresses,Machine theory-- Congresses
رده :
QA267
.
I56
1983
12. #Topics in the theory of computation
پدیدآورنده : #edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Computational complexity- Congresses ،Machine theory- Congresses ،Computer science- Mathematics- Congresses
رده :
#
QA
،#.
I56
،#
1985
